// note: file ends with a newline

x = List(1)
///[1,2,3]
